1. Les Sciences sociales dans le monde
پدیدآورنده : / Ali Kazancigi et David Makinson.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
2. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
3. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
4. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
5. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
6. Sets, Logic and Maths for Computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Mathematical logic. ; Computer mathematics. ; Discrete mathematics. ; Discrete Mathematics in Computer Science. ; -Computer science
7. Sets, Logic and Maths for Computing
پدیدآورنده : / David Makinson (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
8. Sets, Logic and Maths for Computing
پدیدآورنده : / David Makinson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
9. Sets, logic and maths for computing
پدیدآورنده : / David Makinson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Sets, logic and maths for computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ; Informatique ; Math?matiques. ;
11. Topics in modern logic
پدیدآورنده : Makinson, David Clement
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic
رده :
BC
108
.
M247T6
12. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
13. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
14. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
15. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
16. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
